- упорядоченное вложение
- = вложение II
Русско-английский словарь по машиностроению. Академик.ру. 2011.
Русско-английский словарь по машиностроению. Академик.ру. 2011.
БИКОМПАКТНОЕ РАСШИРЕНИЕ — (би)компактификация, расширение топологического пространства, являющееся бикомпактным пространством. Б. р. существуют у любого топологич. пространства, у любого T1 пространства есть Б. р., являющиеся T1 пространствами, но наибольший интерес… … Математическая энциклопедия
БУЛЕВА АЛГЕБРА — булева решетк а, частично упорядоченное множество специального вида. Б. а. наз. дистрибутивная решетка (дистрибутивная структура), имеющая наибольший элемент 1 единицу Б. а., наименьший элемент 0 нуль Б. а. и содержащая вместе с каждым своим… … Математическая энциклопедия
КОЛЬЦА И АЛГЕБРЫ — множества с двумя бинарными операциями, к рые обычно принято наз. сложением и умножением. Кольцом наз. множество: 1) являющееся абелевой группой относительно сложения (в частности, в кольце существует нулевой элемент, обозначаемый 0, и… … Математическая энциклопедия
КОМПЛЕКС — частично упорядоченное рефлексивным, правильным и транзитивным отношением < множество К={t} каких либо элементов t, вместе с целочисленной функцией dim t, называемой размерностью элемента t,[t: t ], называемой коэффициентом инцидентности… … Математическая энциклопедия
ЛОКАЛЬНО ВЫПУКЛОЕ ПРОСТРАНСТВО — отделимое топологическое векторное пространство над полем действительных или комплексных чисел, в к ром любая окрестность нулевого элемента содержит выпуклую окрестность нулевого элемента; иначе говоря, топологическое векторное пространство… … Математическая энциклопедия
ПОПОЛНЕНИЕ СЕЧЕНИЯМИ — пополнение Мак Нейла, частично упорядоченного множества М полная решетка L, получаемая из множества Мследующим образом. Пусть (если Мобладало нулем) или получается внешним присоединением наименьшего элемента 0 к М(если Мне имело нуля). И пусть Р( … Математическая энциклопедия
УНИВЕРСАЛЬНАЯ ОБЕРТЫВАЮЩАЯ АЛГЕБРА — алгебры Ли над коммутативным кольцом kс единицей ассоциативная k алгебра с единицей, снабженная отображением для к рой выполнены следующие свойства: 1) о является гомоморфизмом алгебр Ли, т. е. Ус линейно и 2) для любой ассоциативной k алгебры Ас … Математическая энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия